Mathematics and Computing - PDFSEARCH.IO - Document Search Engine

Mathematics and Computing
Results: 2535

#	Item
871	Published in: Moller, D.P.F. and Richter, 0.(005.), Proc.of the 4th Ebemburger Working Conference on the Analysis of Dynamic Systems in Medicine, Biology, and Ecology, April 5-7, 1990, Ebemburg, Bad Mililster am Stein-Eb Add to Reading List Source URL: www.sysecol.ethz.ch Language: English - Date: 2011-01-08 11:24:51 Mathematical modeling Computing Operations research Simulation DEVS Mathematical model Scientific modelling Deterministic simulation Modeling language Simulation software Software Mathematics
872	CCVisu 3.0 Introduction and Reference Manual — Draft — Dirk Beyer University of Passau, GermanyAbstract Add to Reading List Source URL: www.sosy-lab.org Language: English - Date: 2013-08-31 17:02:34 Computing Force-based algorithms GraphML Graph VRML Graph theory Graph drawing Mathematics
873	Factorised Representations of Query Results: Size Bounds and Readability Dan Olteanu and Jakub Závodný Department of Computer Science University of Oxford Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2012-01-16 04:17:03 Computing Mathematics Programming paradigms Conjunctive query Relational algebra Relational database Relation Tuple Bin Relational model Data management Database theory
874	A Unified Approach to Approximate Proximity Searching Sunil Arya∗ Department of Computer Science The Hong Kong University of Science and Technology Clear Water Bay, Kowloon, Hong Kong Add to Reading List Source URL: www.cse.ust.hk Language: English - Date: 2010-08-18 06:11:37 Search algorithms Approximation algorithms Data mining Image processing Information retrieval Nearest neighbor search K-d tree Point location Range searching Information science Mathematics Computing
875	Algorithms for Fast Vector Quantization∗ Sunil Arya† Department of Computer Science The Hong Kong University of Science and Technology Clear Water Bay, Kowloon, Hong Kong David M. Mount‡ Add to Reading List Source URL: www.cse.ust.hk Language: English - Date: 2006-04-04 04:49:15 Computing Nearest neighbor search K-d tree K-nearest neighbor algorithm Tree B-tree Binary search tree R-tree Proximity problems Information science Mathematics Search algorithms
876	Optimizing the Synchronization Operations in MPI One-Sided Communication∗ Rajeev Thakur William Gropp Brian Toonen Mathematics and Computer Science Division Add to Reading List Source URL: www.mcs.anl.gov Language: English - Date: 2005-04-07 19:00:21 Application programming interfaces Free software MPICH Public domain software Concurrency control Synchronization Lock Computer cluster Message Passing Interface Computing Parallel computing Computer programming
877	Approximate Counting by Sampling the Backtrack-free Search Space Vibhav Gogate and Rina Dechter Donald Bren School of Information and Computer Science, University of California, Irvine, CA 92697, {vgogate,dechter}@ics.uc Add to Reading List Source URL: sami.ics.uci.edu Language: English - Date: 2007-08-17 19:31:44 Computing Partial differential equations Importance sampling Variance reduction Lookup table Monte Carlo integration Boolean satisfiability problem Monte Carlo methods Theoretical computer science Mathematics
878	Higher-Order and Symbolic Computation manuscript No. (will be inserted by the editor) Compilation of extended recursion in call-by-value functional languages Tom Hirschowitz · Xavier Leroy · J. B. Wells Add to Reading List Source URL: pauillac.inria.fr Language: English - Date: 2009-12-15 04:49:16 Computability theory Recursion Theoretical computer science Models of computation Formal methods Lambda calculus Standard ML Free variables and bound variables Scheme Software engineering Computing Mathematics
879	1 Analyzing the Impact of Supporting Out-of-Order Communication on In-order Performance with iWARP P. Balaji∗ , W. Feng† , S. Bhagvat‡ , D. K. Panda§ , R. Thakur∗ and W. Gropp∗ ∗ Mathematics Add to Reading List Source URL: www.mcs.anl.gov Language: English - Date: 2007-08-01 16:18:48 Computer networks Computer memory IWARP Local area networks WARP Remote direct memory access InfiniBand TCP offload engine Transmission Control Protocol Computing Supercomputers Parallel computing
880	Yuval Filmus Curriculum Vitæ Í 117 Oppenheimer Ln Add to Reading List Source URL: www.cs.toronto.edu Language: English - Date: 2014-10-31 15:18:39 Fellows of the Royal Society International Colloquium on Automata Languages and Programming Automated theorem proving Toniann Pitassi Daniel Filmus Symposium on Foundations of Computer Science Symposium on Theoretical Aspects of Computer Science Symposium on Theory of Computing Combinatorics Theoretical computer science Applied mathematics Computational complexity theory

UPDATE